381. The continued exercise of reason :
المؤلف: by George Boole ; edited and with an introduction by Brendan Dooley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Boole, George,1815-1864.,Boole, George,1815-1864.,Boole, George,1815-1864.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS / General
رده :
QA9
.
2
.
B657
2018eb
382. The development of mathematical logic
المؤلف: / by P. H. Nidditch
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Mathematics - Philosoph,Logic, symbolic and mathematical
رده :
511
.
3
Ni-D
383. The development of mathematical logic
المؤلف: P. H. Nidditch
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Mathematics--Philosophy.,Logic, Symbolic and mathematical.
384. The essential Turing
المؤلف: / edited by B. Jack Copeland
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
385. The essential Turing
المؤلف: / edited by B. Jack Copeland
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
386. The essential Turing
المؤلف: / edited by B. Jack Copeland
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
387. The essential Turing
المؤلف: / edited by B. Jack Copeland
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
388. The essential Turing
المؤلف: / edited by B. Jack Copeland
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
389. The essential Turing
المؤلف: / edited by B. Jack Copeland
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Turing, Alan Mathison,--1912-1954,Mathematics.,Logic, Symbolic and mathematical.,Enigma cipher system.,Artificial intelligence.
رده :
QA7
,.
T772
,
2004
390. The evolution of Principia mathematica :
المؤلف: Bernard Linsky
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
391. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
المؤلف: Linsky, Bernard
المکتبة: (طهران)
موضوع: ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R883L56
392. The foundations of mathematics and other logical essays
المؤلف: Ramsey, Frank Plumpton
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
393. The foundations of mathematics and other logical essays.
المؤلف: Ramsey, Frank Plumpton
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R3
394. The foundations of mathematics and other logical essays
المؤلف: Ramsey, Frank Plumpton
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
1960
395. The limits of science; outline of logic and of the methodology of the exact sciences.
المؤلف: Chwistek, Leon
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
396. The limits of science;outline of logic and of the methodology of the exact sciences
المؤلف: By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
397. The limits of science; outline of logic and of the methology of the exact science
المؤلف: / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
رده :
Q
175
.
C494
398. The metaphysics and mathematics of arbitrary objects /
المؤلف: Leon Horsten, University of Bristol
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,Mathematics-- Philosophy.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics),Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics)
رده :
QA8
.
4
.
H67
2019eb
399. The nature of mathematics
المؤلف:
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica
رده :
QA9
.
B62
1959
400. The nature of mathematics
المؤلف: / by Max Black
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica,Russell, Bertrand, 1872-1970, joint author. Principia mathematica
رده :
QA9
.
B62
1934
